Skip to content

Replace uses of deprecated pkg_resources#191

Merged
feliperodri merged 1 commit intomodel-checking:masterfrom
tautschnig:remove-pkg_resources
Feb 1, 2026
Merged

Replace uses of deprecated pkg_resources#191
feliperodri merged 1 commit intomodel-checking:masterfrom
tautschnig:remove-pkg_resources

Conversation

@tautschnig
Copy link
Member

Description of changes:

Follows
https://importlib-resources.readthedocs.io/en/latest/migration.html to avoid use of pkg_resources, which has been deprecated.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@tautschnig tautschnig requested a review from markrtuttle as a code owner June 13, 2025 14:39
@tautschnig tautschnig force-pushed the remove-pkg_resources branch 4 times, most recently from eac5d62 to 876ce39 Compare June 13, 2025 15:13
@tautschnig tautschnig force-pushed the remove-pkg_resources branch from 876ce39 to 509c8fb Compare June 13, 2025 15:18
@feliperodri feliperodri merged commit e57a35f into model-checking:master Feb 1, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants